Cho một tứ diện với α, β, γ, δ là diện tích bốn mặt của tứ diện đó. Ký hiệu các góc nhị diện là β γ ^ , {\displaystyle \scriptstyle {{\widehat {\beta \gamma }},}} và tương tự, ta có[2]

α 2 = β 2 + γ 2 + δ 2 − 2 ( β γ cos ⁡ ( β γ ^ ) + γ δ cos ⁡ ( γ δ ^ ) + δ β cos ⁡ ( δ β ^ ) ) . {\displaystyle \alpha ^{2}=\beta ^{2}+\gamma ^{2}+\delta ^{2}-2\left(\beta \gamma \cos \left({\widehat {\beta \gamma }}\right)+\gamma \delta \cos \left({\widehat {\gamma \delta }}\right)+\delta \beta \cos \left({\widehat {\delta \beta }}\right)\right).\,}